Goal-based progression synthesis in a Korean learning game